3

Mathematical applications of inductive logic programming

Year:
2006
Language:
english
File:
PDF, 698 KB
english, 2006
18

Guest editorial: special issue on Inductive Logic Programming

Year:
2008
Language:
english
File:
PDF, 107 KB
english, 2008
22

The TM System for Repairing Non-Theorems

Year:
2005
Language:
english
File:
PDF, 237 KB
english, 2005
24

Automatic Construction and Verification of Isotopy Invariants

Year:
2008
Language:
english
File:
PDF, 519 KB
english, 2008
31

Automated conjecture making in number theory using HR, Otter and Maple

Year:
2005
Language:
english
File:
PDF, 425 KB
english, 2005
32

Automated Fictional Ideation via Knowledge Base Manipulation

Year:
2016
Language:
english
File:
PDF, 1.57 MB
english, 2016
34

Reported Level of Supervision of Young Children While in the Bathtub

Year:
2003
Language:
english
File:
PDF, 46 KB
english, 2003